Action semantics in retrospect

This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project

Shared decision-making – Rhetoric and reality: Women’s experiences and perceptions of adjuvant treatment decision-making for breast cancer

This interview-based study uses phenomenology as a theoretical framework and thematic analysis to challenge existing explanatory frameworks of shared decision-making, in an exploration of women’s experiences and perceptions of shared decision-making for adjuvant treatment in breast cancer. Three themes emerged are as follows: (1) women’s desire to participate in shared decision-making, (2) the degree to which shared decision-making is perceived to be shared and (3) to what extent are women empowered within shared decision-making. Studying breast cancer patients’ subjective experiences of adjuvant treatment decision-making provides a broader perspective on patient participatory role preferences and doctor–patient power dynamics within shared decision-making for breast cancer

Reflections on a 'virtual' practice development unit: changing practice through identity development

Aims. This paper draws together the personal thoughts and critical reflections of key people involved in the establishment of a ‘virtual’ practice development unit of clinical nurse specialists in the south of England. Background. This practice development unit is ‘virtual’ in that it is not constrained by physical or specialty boundaries. It became the first group of Trust-wide clinical nurse specialists to be accredited in the UK as a practice development unit in 2004. Design and methods. The local university was asked to facilitate the accreditation process via 11 two-hour audio-recorded learning sessions. Critical reflections from practice development unit members, leaders and university staff were written 12 months after successful accreditation, and the framework of their content analysed. Findings and discussion. Practice development was seen as a way for the clinical nurse specialists to realize their potential for improving patient care by transforming care practice in a collaborative, interprofessional and evolutionary manner. The practice development unit provided a means for these nurses to analyse their role and function within the Trust. Roberts’ identity development model for nursing serves as a useful theoretical underpinning for the reflections contained in this paper. Conclusions. These narratives provide another example of nurses making the effort to shape and contribute to patient care through organizational redesign. This group of nurses began to realize that the structure of the practice development unit process provided them with the means to analyse their role and function within the organization and, as they reflected on this structure, their behaviour began to change. Relevance to clinical practice. Evidence from these reflections supports the view that practice development unit participants have secured a positive and professional identity and are, therefore, better able to improve the patient experience

Examining exercise dependence symptomatology from a self-determination perspective

Background: Based on the theoretical propositions of Self-Determination Theory (SDT; Deci & Ryan, 1985) this study examined whether individuals classified as “nondependent-symptomatic” and “nondependent-asymptomatic” for exercise dependence differed in terms of the level of exercise-related psychological need satisfaction and self-determined versus controlling motivation they reported. Further, we examined if the type of motivational regulations predicting exercise behaviour differed among these groups. Methods: Participants (N = 339), recruited from fitness, community, and retail settings, completed measures of exercise-specific psychological need satisfaction, motivational regulations, exercise behaviour and exercise dependence. Results: Individuals who were nondependent-symptomatic for exercise dependence reported higher levels of competence need satisfaction and all forms of motivational regulation, compared to nondependent-asymptomatic individuals. Introjected regulation approached significance as a positive predictor of strenuous exercise behaviour for symptomatic individuals. Identified regulation was a positive predictor of strenuous exercise for asymptomatic individuals. Conclusions: The findings reinforce the applicability of SDT to understanding engagement in exercise

Gerstmann-Straussler-Scheinker disease in an Alsatian family: clinical and genetic studies

The clinical progression of Gerstmann-Straussler-Scheinker disease in a family of Alsatian origin is reported. The age of onset and the duration of evolution were variable. The clinical picture became more complex over the generations: in the first generations, isolated dementia and in later generations a triad of pyramidal, pseudobulbar syndromes and dementia associated with spinal cord and cerebellar features. Prion gene analysis showed that four surviving patients carry double missense changes at codons 117 and 129, identical to those found in one case at necropsy and 10 other healthy members of the family. The missense changes were not found in 100 controls. No member of the family had modification of condons 102, 178, or 200. The lod score suggests linkage between the missense change at codon 117 and Gerstmann- Straussler-Scheinker disease in this family

InAs nanowire hot-electron Josephson transistor

At a superconductor (S)-normal metal (N) junction pairing correlations can "leak-out" into the N region. This proximity effect [1, 2] modifies the system transport properties and can lead to supercurrent flow in SNS junctions [3]. Recent experimental works showed the potential of semiconductor nanowires (NWs) as building blocks for nanometre-scale devices [4-7], also in combination with superconducting elements [8-12]. Here, we demonstrate an InAs NW Josephson transistor where supercurrent is controlled by hot-quasiparticle injection from normal-metal electrodes. Operational principle is based on the modification of NW electron-energy distribution [13-20] that can yield reduced dissipation and high-switching speed. We shall argue that exploitation of this principle with heterostructured semiconductor NWs opens the way to a host of out-of-equilibrium hybrid-nanodevice concepts [7, 21].Comment: 6 pages, 6 color figure

Non-Abelian statistics and topological quantum information processing in 1D wire networks

Topological quantum computation provides an elegant way around decoherence, as one encodes quantum information in a non-local fashion that the environment finds difficult to corrupt. Here we establish that one of the key operations---braiding of non-Abelian anyons---can be implemented in one-dimensional semiconductor wire networks. Previous work [Lutchyn et al., arXiv:1002.4033 and Oreg et al., arXiv:1003.1145] provided a recipe for driving semiconducting wires into a topological phase supporting long-sought particles known as Majorana fermions that can store topologically protected quantum information. Majorana fermions in this setting can be transported, created, and fused by applying locally tunable gates to the wire. More importantly, we show that networks of such wires allow braiding of Majorana fermions and that they exhibit non-Abelian statistics like vortices in a p+ip superconductor. We propose experimental setups that enable the Majorana fusion rules to be probed, along with networks that allow for efficient exchange of arbitrary numbers of Majorana fermions. This work paves a new path forward in topological quantum computation that benefits from physical transparency and experimental realism.Comment: 6 pages + 17 pages of Supp. Mat.; 10 figures. Supp. Mat. has doubled in size to establish results more rigorously; many other improvements as wel